21. A friendly introduction to mathematical logic /
المؤلف: Christopher C. Leary
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
22. A fuzzy PROLOG database system
المؤلف: Li, Deyi
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
23. A general framework for reasoning on inconsistency
المؤلف: Maria Vanina Martinez ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic,Inconsistency (Logic),Logic design
رده :
TK7868
.
L6
G46
2013
24. A paraconsistent decision-making method /
المؤلف: Fábio Romeu de Carvalho, Jair Minoro Abe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
25. A science of operations
المؤلف: / by Peter Mark Priestley
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
26. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
27. A tight, practical integration of relations and functions
المؤلف: Boley, Harold
المکتبة: (طهران)
موضوع: ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
28. Adapting proofs-as-programs
المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
29. Adapting proofs-as-programs
المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
30. Adapting proofs-as-programs
المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
31. Adaptive Resonance Theory Microchips
المؤلف: by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
32. Advanced ASIC chip synthesi
المؤلف: / Himanshu Bhatnagar
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Application-specific integrated circuits--Computer-aided design,Logic design--Data processing,Compilers (Computer programs)
رده :
TK
,
7874
.
6
,.
B44
,
2002eb
33. Advanced ASIC chip synthesis
المؤلف: / Himanshu Bhatnagar
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Application specific integrated circuits -- Computer-aided design,Logic design -- Data processing
رده :
TK
7874
.
6
.
B44
2002
34. Advanced Digital Logic Design: using Verilog, State Machines, and Synthesis for FPGAs
المؤلف: Sunggu Lee
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Logic circuits -- design and construction -- data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK
،
7868
،.
L6
,
L4
،
2006
35. Advanced computer architecture :
المؤلف: Chao Li, Junjie Wu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
36. Advanced computer arithmetic design.
المؤلف: / Michael J.Flynn, Stuart F. Omberman
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer arithmatic and logic units
رده :
TK
7895
.
A65F59
2001
37. #Advanced computer arithmetic design
پدیدآورنده : #Michael J. Flynn, Stuart F. Oberman
موضوع : Computer arithmetic and logic units
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
38. Advanced computer arithmetic design
المؤلف: Flynn, Michael J., 4391-
المکتبة: (طهران)
موضوع: ، Computer arithmetic and logic units
رده :
TK
7895
.
A65F5
39. Advanced computer artithmetic design
المؤلف: / by Michael Flynn and Stuart Oberman
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer arithmetic and logic units
رده :
TK7895
.
A65F599
2001
40. Advanced digital design with the Verilog HDL
المؤلف: / Michael D. Ciletti.
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Digital electronics,Logic circuits--Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5C48
